Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
491	‘The Speaking System’ Lily Hibberd Published in Baden Pailethorpe’s catalogue Lingua Franca First Draft Gallery, Sydney, 2012 Add to Reading List Source URL: www.lilyhibberd.com Language: English - Date: 2014-07-09 13:28:53 Proof theory Anti-psychiatry Poststructuralism Mathematical logic Alain Badiou Gilles Deleuze Roland Barthes Montage Algorithm Philosophy Continental philosophy French people
492	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
493	Microsoft Word - TH_8.375x10.875_121814 Add to Reading List Source URL: www.meredithtm.com Language: English - Date: 2014-11-05 11:01:53 Graphics file formats ISO standards Vector graphics Knowledge PDF/X Mathematical proof Prepress Bleed Portable Document Format Printing Computing Computer file formats
494	Pattern Recognition for Coinductive Proof Trees Katya Komendantskaya School of Computing, University of Dundee, UK AI4FM’11,Edinburgh 29 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Computer programming Mathematical logic Category theory Functional programming Computability theory Coinduction Recursion Mathematical proof Machine learning Mathematics Logic Theoretical computer science
495	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh NFM 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Heuristics Rippling Knowledge Mathematical proof Invariant Lemmas Mathematics Linguistics Automated theorem proving
496	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-19 06:05:38 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
497	Groth–Sahai proofs revisited E. Ghadafi, N.P. Smart, and B. Warinschi Dept. Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-01-17 10:23:34 Non-interactive zero-knowledge proof Mathematical proof Zero-knowledge proof Commitment scheme Cryptography Cryptographic protocols Decision Linear assumption
498	Microsoft Word - FF_7.875x10.5_121814 Add to Reading List Source URL: meredithdirectmedia.com Language: English - Date: 2014-10-22 10:20:45 Computer file formats Graphics file formats ISO standards Vector graphics PDF/X Bleed Mathematical proof Prepress Portable Document Format Computing Printing Computer graphics
499	TABLE for 7-7/8” x Add to Reading List Source URL: meredithdirectmedia.com Language: English - Date: 2014-11-21 10:44:18 Computer file formats Graphics file formats ISO standards Vector graphics PDF/X Bleed Mathematical proof Prepress Portable Document Format Printing Computing Computer graphics
500	TABLE for 7-7/8” x Add to Reading List Source URL: meredithdirectmedia.com Language: English - Date: 2014-10-22 10:24:23 Graphics file formats ISO standards Vector graphics Knowledge PDF/X Mathematical proof Prepress Bleed Portable Document Format Printing Computing Computer file formats

UPDATE